1. A Precis of Mathematical Logic
Author: by J.M. Bocheński.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic.,Philosophy (General)

2. Abduction and Induction
Author: edited by Peter A. Flach, Antonis C. Kakas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Electronic data processing.,Logic.,Philosophy (General).,Science-- Philosophy.

3. Acting and Reflecting :
Author: edited by Wilfried Sieg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic.,Philosophy (General)

4. Aktive Synthesen:
Author: herausgegeben von Roland Breeur.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic.,Phenomenology.,Philosophy (General)

5. Algebraic Foundations of Many-Valued Reasoning
Author: by Roberto L. O. Cignoli, Itala M. L. D'Ottaviano, Daniele Mundici.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Artificial intelligence.,Computational complexity.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).

6. Aspect of Modern Logic
Author: by Evert W. Beth.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic.,Philosophy (General),Philosophy.
Classification :
BC78
.
D8
B948
1970


7. Aspects of Philosophical Logic :
Author: edited by Uwe Mönnich.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Linguistics -- Philosophy.,Logic.,Philosophy (General)

8. Assumptions of Grand Logics
Author: by James K. Feibleman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic.,Philosophy (General)
Classification :
BC71
.
B953
1979


9. Augustus De Morgan and the Logic of Relations
Author: by Daniel D. Merrill.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic.,Philosophy (General),Philosophy, Modern.

10. Automated Deduction - A Basis for Applications
Author: edited by Wolfgang Bibel, Peter H. Schmitt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.

11. Automated Deduction - A Basis for Applications
Author: edited by Wolfgang Bibel, Peter H. Schmitt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.

12. Basic Questions on Truth
Author: by Paul Weingartner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Genetic epistemology.,Logic.,Philosophy (General)
Classification :
BC171
.
B973
2000


13. Belief Change
Author: edited by Didier Dubois, Henri Prade.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Logic.,Philosophy (General)
Classification :
Q375
.
E358
1998


14. Beyond Reason :
Author: edited by Gonzalo Munévar.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Education -- Philosophy.,Logic.,Philosophy (General)

15. Combinators, [lambda]-Terms and Proof Theory
Author: by Sören Stenlund.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic.,Philosophy (General)

16. Communication and Meaning :
Author: by Andrew J.I. Jones.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Linguistics -- Philosophy.,Logic.,Philosophy (General)
Classification :
P90
.
B936
1983


17. Consciousness, Knowledge, and Truth :
Author: edited by Roberto Poli.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Genetic epistemology.,Logic.,Philosophy (General)
Classification :
BD171
.
E358
1993


18. Critical Rationalism, Metaphysics and Science :
Author: edited by I.C. Jarvie, Nathaniel Laor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Genetic epistemology.,Logic.,Philosophy (General)

19. Defeasible Deontic Logic
Author: edited by Donald Nute.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ethics.,Logic.,Philosophy (General)

20. Domain Theory, Logic and Computation :
Author: edited by G Q Zhang, J. Lawson, Y.-M. Liu, M.-K. Luo.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic.,Philosophy (General)
Classification :
QA76
.
7
E358
2003

